Functional programming

Results: 3706



#Item
481Software engineering / Computing / Computer programming / Data types / Functional languages / Primitive types / Functional programming / Edit distance / String / Haskell / Id / Boolean data type

Hoogλe Finding Functions from Types Neil Mitchell haskell.org/hoogle community.haskell.org/~ndm/

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
482Software engineering / Computing / Computer programming / Concurrent programming languages / Functional programming / Scala / Immutable object / Go / Referential transparency

Scalaz-Stream Masterclass Rúnar Bjarnason, Verizon Labs @runarorama NEScala 2016, Philadelphia

Add to Reading List

Source URL: www.nescala.org

Language: English - Date: 2016-04-16 10:39:24
483Software engineering / Computer programming / Computing / Functional languages / Object-oriented programming languages / Data types / OCaml / Generic programming / Modular programming / Module / Set / Coupling

The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2016-04-25 11:00:25
484Theoretical computer science / Association for Computing Machinery / ACM SIGACT / Computer science / International Conference on Functional Programming / Computational geometry / Computational intelligence / Computational learning theory / International Symposium on Symbolic and Algebraic Computation / Algorithmica / Draft:Chittoor V. Ramamoorthy / Vasant Honavar

ANNEXURE D: LIST OF REPUTED PUBLICATIONS IN CSE Acronym SIGCOMM SIGMETRICS CCS

Add to Reading List

Source URL: www.cse.iitd.ernet.in

Language: English - Date: 2016-03-26 00:11:24
485Software engineering / Computer programming / Computing / Functional programming / Functional languages / Programming idioms / Object-oriented programming languages / Programming language comparisons / Monad / Scala / List comprehension / Workflow

Type-Directed Language Extension for Effectful Computations Evgenii Kotelnikov Chalmers University of Technology Gothenburg, Sweden

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2014-07-29 07:43:08
486

Session II HOL = Functional programming + Logic IJCAR 2004, Tutorial T4 – p.1 Proof by Term Rewriting

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2009-11-14 02:27:01
    487

    Lenses in Functional Programming Albert Steckermeier July 1, 2015 In photography a lens is used to focus on an important part of an image. Similarly the concept of lenses in functional programming offers a way of

    Add to Reading List

    Source URL: www21.in.tum.de

    Language: English - Date: 2015-07-06 07:23:49
      488Software engineering / Computer programming / Declarative programming / Functional programming / Monad / Fold / Scheme

      Deriving a Relationship from a Single Example

      Add to Reading List

      Source URL: ndmitchell.com

      Language: English - Date: 2016-04-19 09:56:22
      489Software engineering / Computer programming / Declarative programming / Literate programming / Functional programming / Monad / Haskell / Inline expansion / First-order logic

      Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea

      Add to Reading List

      Source URL: ndmitchell.com

      Language: English - Date: 2016-04-19 09:56:22
      490Computing / Software engineering / Computer programming / Java platform / Cross-platform software / Functional languages / Scripting languages / Concurrent programming languages / Scala / Akka / Play Framework / Java

      Real-Time Collaborative Scala Development with Clide∗ Martin Ring Christoph Lüth DFKI Bremen

      Add to Reading List

      Source URL: lampwww.epfl.ch

      Language: English - Date: 2014-07-29 07:43:08
      UPDATE